https://dasbestelexikon.de/de/wiki/B:Beweisarchiv:_Theoretische_Informatik:_Berechenbarkeit:_Halteproblem